Revision: tla-tools--devo--0--patch-11
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Sun Mar 13 10:47:40 JST 2005
Standard-date: 2005-03-13 01:47:40 GMT
Modified-files: ChangeLog tla-prune-revlib.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-11
Summary: tla-prune-revlib: Tweak message

